Knihy od autora Matt Kaufmann

Zobrazené 1 – 6 z 6 výsledkov

1. 

   Computer-Aided Reasoning

   Matt Kaufmann, Panagiotis Manolios, J Strother Moore | Springer, Berlin, 2000

   
   

   50 % šanca - Prehľadáme celý svet

   Jazyk: Angličtina

   Väzba: Pevná

   281.82 €

   Zľava 0 %

   Ušetríte 0.01 €

   Kúpiť
2. 

   Computer-Aided Reasoning

   Matt Kaufmann, Panagiotis Manolios, J Strother Moore | Springer, 2000

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 12 - 15 dní

   Jazyk: Angličtina

   Väzba: Pevná

   277.21 €

   Kúpiť
3. 

   Interactive Theorem Proving

   Matt Kaufmann, Lawrence C. Paulson | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

   
   

   Skladom u dodávateľa - Odosielame za 9 - 13 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   141.52 €

   Kúpiť
4. 

   Computer-Aided Reasoning

   Matt Kaufmann, Panagiotis Manolios, J Strother Moore | Springer, Berlin, 2010

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 12 - 15 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   277.21 €

   Kúpiť
5. 

   Computer-Aided Reasoning

   Matt Kaufmann, Panagiotis Manolios, J. Strother Moore | Springer, Berlin, 2012

   
   

   50 % šanca - Prehľadáme celý svet

   Jazyk: Angličtina

   Väzba: Brožovaná

   281.82 €

   Zľava 0 %

   Ušetríte 0.01 €

   Kúpiť
6. 

   Computer-Aided Reasoning

   Matt Kaufmann, Panagiotis Manolios, J. Strother Moore | Springer, Berlin, 2000

   
   

   50 % šanca - Prehľadáme celý svet

   Jazyk: Angličtina

   Väzba: Pevná

   455.40 €

   Kúpiť

Poskytujeme zľavy pre študentov, učiteľov a držiteľa ISIC. Zistite viac